Recasting Bourgeois Britain?

Recasting MLF

The language MLF has been proposed as an alternative to System F that permits partial type inference a la ML. It differs from System F by its types and type-instance relation. Unfortunately, the definition of type instance is only syntactic, and not underpinned by some underlying semantics. It has so far only been justified a posteriori by the type soundness result. In this work, we revisit MLF...

The Birth of Bourgeois Punishment

Recasting the Elliott Conjecture

Let A be a simple, unital, finite, and exact C-algebra which absorbs the Jiang-Su algebra Z tensorially. We prove that the Cuntz semigroup of A admits a complete order embedding into an ordered semigroup which is obtained from the Elliott invariant in a functorial manner. We conjecture that this embedding is an isomorphism, and prove the conjecture in several cases. In these same cases — Z-stab...

Recasting biomolecules for function.

D the holiday season, transformations abound. At the end of the year, my family, friends, and colleagues parade in their ugly sweaters or their New Year’s Eve party-wear. I was thinking about how these adornments can influence our circle of interactions. As a tangible example, my colleague George Phillips attracted a crowd with his prize-winning sweater (Figure 1). Our first issue of 2012 also ...

Model-based recasting in answer-set programming

As well-known, answer-set programs do not satisfy the replacement property in general, i.e., programs P andQ that are equivalent may cease to be so when they are put in the context of some other program R, i.e., R∪P and R∪Q may have different (sets of) answer sets. Pearce et al. thus introduced strong equivalence for context-independent equivalence, and proved that such equivalence holds betwee...